A characterisation of algebraic exactness
نویسندگان
چکیده
منابع مشابه
A characterisation of algebraic exactness
An algebraically exact category is one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these limits and colimits as hold in any variety. Such categories were studied by Adámek, Lawvere and Rosický: they characterised them as the categories with small lim...
متن کاملAlgebraic characterisation of one-way patterns
We give a complete structural characterisation of the map the positive branch of a one-way pattern implements. We start with the representation of the positive branch in terms of the phase map decomposition [4], which is then further analysed to obtain the primary structure of the matrix M, representing the phase map decomposition in the computational basis. Using this approach we obtain some p...
متن کاملAn Algebraic Characterisation of Concurrent Composition
I was invited by Olivier Danvy and Carolyn Talcott to contribute to this special issue of Higher Order and Symbolic Computation in honour of Peter Landin. They were keen to include some technical contributions, and I recalled my very first piece of theoretical work, which had only appeared as a 1981 Queen Mary College technical report, and which seemed as if it might be appropriate for several ...
متن کاملRELATIVE EXACTNESS MODULO A POLYNOMIAL MAP AND ALGEBRAIC ( C p , + ) - ACTIONS
— Let F = (f1, . . . , fq) be a polynomial dominating map from Cn to Cq. We study the quotient T 1(F ) of polynomial 1-forms that are exact along the generic fibres of F , by 1-forms of type dR+ ∑ aidfi, where R, a1, . . . , aq are polynomials. We prove that T 1(F ) is always a torsion C[t1, . . . , tq ]-module. Then we determine under which conditions on F we have T 1(F ) = 0. As an applicatio...
متن کاملFair Testing Revisited: A Process-Algebraic Characterisation of Conflicts
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the context of discrete event systems, where two concurrent systems are said to be in conflict if they can get trapped in a situation where they are waiting or running endlessly, forever unable to complete their common task. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2013
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2012.11.003